Protozoology

and metatheory, syntax and semantics, as well as an introduction to the use of symbolic language. The author presents in detail a specimen theory in symbolic language in order to illustrate general principles of theory construction through axiomatization and formalization. An attentive study of the book should give scientists fundamental insight into the nature of scientific theory and provide an opening wedge into more general treatises. The last two sections of the book are devoted to answering specific objections which have been raised in regard to the introduction of the theory of logic into the natural sciences. Symbolic logic is an efficient instrument for determining the conclusions to which a given set of hypotheses lead. Its use should eliminate controversies which are due merely to the defects and ambiguities of language. The book merits close scrutiny by natural scientists.